Restricting formal validity solely to variable-substitution schemas, as Abelard does, anachronistica...