The contradiction used to refute relative identity dissolves if one sortal is treated as a phase sor...