5.01

The elementary propositions are the truth-arguments of propositions.