ex2 - denotational finished