A notion of 'restricted formal validity' that permits invalid instances is not formal validity but a...