look up any word, like swag:

kripke isn't defined.
Can you define it?