Abelard's substitution criterion presupposes a nominalist ontology that Aristotelian realists have p...