"Thank you, Kripke..."