Example 17e.
Uic
|x|
1
|y|
1
|z|
1
|q|
1
:
MORRIS+
2
VL with uic
1
1
2
1
4
1
5
1
(see chart in 17b)