as Px and xRy, having instead individual constants a, b, ... attached to predicate letters are propositional constants Pa, aRb. These propositional constants are atomic propositions, not containing propositional operators.

The internal structure of propositional variables contains predicate letters such as P and Q, in association with bound individual variables (e.g., x, y), individual constants such as a and b (singular terms