input: [TERM] Kripke [WHAT IT MEANS TO A LAYMAN] the name of a policeman who is the subject of a song in West Side Story, spelled so that New Zealanders will pronounce it correctly*
output: a contemporary philosopher of formidable reputation who, I am reliably informed, does have something of an impressive snort