Generalisation

What the sentence overreached. Universal quantifiers (always, never, everyone, nobody), modal operators of necessity and possibility (must, can't, have to), and rules whose author has vanished.

These carry no verb "to be", so strict E-Prime sails past them entirely — which is exactly why this app runs a second red-flag layer beside the copula layer.