α-contract present optative paradigms