Kripke and materialism