4.53

The general proposition form is a variable.

340