Is equality evil?

Theorem. Equality if and only if the diagonal. Corollary. P(equality) <--> P(contraction) (where the predicate P may be "Evil", "Nonlinear", "Sophomoric", etc) In this context (as opposed to metric spaces, materials, and maternity wards) contraction is the logical rule predicated on the idea that two things with the same name are actually one. See Kripke and others on the topic of Naming and Necessity. Were Rosa Parks still around she would surely not judge equality evil. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]