As long as 'nec' is used as a statement operator, on a par with negation, the analogous course suggests itself again: we write not only 'nec )' but also 'nec (x from which by quantification we can form and the like.