canonicalization

not defined yet