The formal proof that there is no such thing as relative identity requires that there are no ad hoc ...