Using predicate logic fill in what is needed to prove the argument is valid. Use the following predicate symbols: M(x), R(x,y), T(x,y) (Start with using the variable a when introducing new variables due to ei) There is some movie star who is richer than everyone. Anyone who is richer than anyone else pays more taxes than anyone else does. Therefore, there is a movie star who pays more taxes than anyone. (3x)(M(x) A (Wy)R(x,y)) A (Vx)(Vy)(R(x,y) T(x,y)) (3x)(M(x) A (Vy)T(x,y)) 1. (3x)(M(x) A (Wy)R(x,y)) 1, ei 3. Ma) 4. (1x)(y)R(x,y)+T(x,y)) 4, ui 5, ui 2, sim i o No 7, ui 6, 8, mp 8, ug 3, 10, con 11, eg