John Philoponus argued that substances individuated by distinct properties are numerically distinct ...