!(!a and a)