Kripke and Putnam's posteriori identity theory shows that identity between properties can be necessa...