Hot: canonicalization