Kripke's necessary a posteriori shows that identity statements like 'water=H2O' are necessary yet kn...