Decidable propositions
