Example 15b.
Uic |x|
2
|y|
2
:
Sample VL from chart in 15a; uci type
x
2
y
2
where x ≠ −y
