Names, Predicates, and Variables

Propositional logic cannot see inside a statement, and this is the apparatus that can