ex1; ex2 - denotational unfinished