atg. better reflect semantics, CanonicalizationOn -> CanonicalizableOn