looks like the canonicalization rewrite works