(An elementary proposition is a truth-function of itself.)