planar constant and negation