IP: canonical stuff
IP: more canonicalization and expand*