Just because a set of claims can't be proven inconsistent in van Inwagen's relative identity logic, ...