Marc Horowitz 24.151 March 20, 1992

(1) W(αx)Fx

(2) S(αx)Bx v

(3) S(αx)Fx (αy)(Yy∧Ry)

(4) S(αx)(Tx∧Bx) (αy)(Yy∧Ry)