Decidable: negation & information propagation.