Kripke Structure derived from Pico