trs-kripke