Comment by nullified-vga

Kripke is still here. I would add him to that list.