Relative identity theories require that 'x is the same F as y' be primitive, but Van Inwagen never s...