 The problem of providing a general statement like (14) is the same issue first raised in Section 1.3, and the solution by now should be familiar. To state the norm in general we would need to be able to do something we seem unable to do in ordinary language, namely, employ sentential variables and quantifiers for them. But this is where the notion of truth comes in. Because (ES) gives us its contraposition,