Original: Let A and B be pa formulas.
Simplified: Let A and B be any two expressions of the primary algebra.