A proof against relative identity works by showing that allowing relative identity leads to contradi...