path: root/examples/tutch/support/hw3_6b.req

proof instance : (!x:t.A(x)) & (?y:t.B(y)) => ?z:t.A(z);