They're named after Kripke for inventing them when he was in highschool. The kind of stuff that makes you feel woefully intellectually inadequate :-).