Using atomic propositions