formal validity