...Let us now restate the above rather unwieldy sentences in terms of a more concise and perspicuous formalism, as in (4).
(4)