Example 21.
[0167]/[0268] CUP space