Marcus, Kripke, and names · Study