D. describes the description theories rejected by S.Kripke, gives Kripke's reasons for rejecting them and Kripke's own alternative views concentrating on reference fixing; and he discusses Kripke's position on contingent a priori knowledge.