4.1 A proposition presents the existence and non-existence of atomic facts.