Claim: Logic has no alternate identities.
Label: REFUTES