typo
A relative version of "phi^Box ==> Box(phi)"
Example: "F can be generated by an n-element family"