List 9 - denotational without any extensions