In the denotational approach what happens? Well, we view H, remember H was this operator here as and end operator on our domain of this course. Now it is immediate to see that every fixed point of H is a solution of the initial specification. So this is the trick..

---