Kripkean fixed-points