NOT = p => p(F)(T)
