Canonisations

https://nimrod.hypotheses.org/330