Frege and Ramsey demonstrated that 'it is true that p' is logically redundant, adding no content bey...