Difference between revisions of "Composite formula (FOL)"