Title: Kripke
First published: 2005