canonicalization is now independent of TIDS