4.25

If the elementary proposition is true, the atomic fact exists; if it is false the atomic fact does not exist.