(The bold letters W, X, Y, Z are variables and can stand for any sentence of TFL.) a) Suppose that X+Y. Does it follow that WAX-Y VZ? Explain, making reference to particular inference rules in your answer. b) Suppose that X is a theorem and Y is any sentence. Does it follow that YX must be a theorem? Explain your answer.