An institution isomorphism for planar graph colouring