Denotational Normal Form