 STEP 2: Having expressed the propositional terms as algebraic terms, one then expressed the propositions as equations using the following; again one can substitute more complex terms for \(x\), \(y\), but not for \(v\):