Figure 2: Case 1, Example 1, Real(Hx).
Image: T. Grzegorczyk.