This latter choice is what Kripke does.
この後者の選択はクリプキが行った仕事である。