Example 5.
A generic model of a two-dimensional UTT space
