 The problem is that we cannot formulate this in English with our most familiar way of generalizing because the ‘\(p\)’ in the consequent is in a sentence-in-use position, rather than mentioned or nominalized context (as it is in the antecedent), meaning that this formal variable cannot be replaced with a familiar English object-variable expression, e.g., ‘it’.