[]
(x,y,x1,x2)
2
(E x1)(E x2)[
y = x1 (x1 x2 - x) + x2 /\
0 <= x1 /\ x1 <= 2 /\ 
2 <= x2 /\ x2 <= 4 /\ 
-1 <= x1 x2 - x /\ x1 x2 - x <= 1
].
prop-eqn-const
go
eqn-const-l (A_4,1)
go
sel [level = dimension \/ level > 2 ]
go
sel [level < 2 ]
go
tvc2d
use-sel n
go
sol T
d-stat
finish
