Stronger canonicalization