main(x) = neg(x)

neg(T) = F
neg(F) = T
