Propositions should be an array.