Example 7. [0167]/[04] CUP space modeled after Morris (1990, 188)