The canonical form of a::b is: