section 1.4 and more canonicalization