a start on canonicalization