imperative contracts ala Kristian Støvring