Novelty: Formula


[old form of @forAll is "this log:forAll"]