Example 15c.
Uic |x|
2
|y|
2
:
Sample VL from chart in 15a; uci type
x
2
y
1
z
1
where z = −y
