some work on canonicalization