 The above facts about Basic Law V will be used in the next subsections to show why it may not be consistently added to second-order logic with comprehension. Frege was made aware of the inconsistency by Bertrand Russell, who sent him a letter formulating ‘Russell’s Paradox’ just as the second volume of Gg was going to press. Frege quickly added an Appendix to the second volume, describing two distinct ways of deriving a contradiction from Basic Law V. He also suggested a way of repairing Law V, but Quine (1995) later showed that such a repair was disastrous, since it would force the domain of objects to contain at most one object.