atomic propositions