 Some of the reasons are technical. Problems with Kripke’s refutation of contingent identity have structural parallels that affect Evans’ proof. Evans also relies on inferences that deviant logicians challenge (Parsons 2000).