gRR comments on Consequentialist Formal Systems

[gRR]

Would restricting the axiom schema to content-less proposition symbols like “B” solve the problem?