Bittersweet ending promised by Kripke