canonicalizing
not defined yet