After the Principles, however, Russell comes to believe that the simple theory of types is insufficient. The reason for it has to do with the   liar paradox. Suppose that ‘L’ is a name for the proposition: