α-contract present imperative paradigms