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