If 'Adams' is a rigid designator that presupposes its referent's existence, then (a=a) is not a pure...