kripke.hh 5.7 KB