2. (4 points) Complete the following proof of (x.yp(x,y))(y.x,p(x,y)). This proof shows that we can push inside . Hint: you need to use I,E, VE, and one of the axioms. (x,yp(x,y))(yx,p(x,y))x,yp(x,y)yx,p(x,y)x,y,p(x,y)+xp(x,k)II