If free logic governs quantified modal logic, then (a=a) fails in worlds where Adams does not exist,...