":(3) some of the excess content of T' is corroborated."
January 1, 1970
https://en.wikiquote.org/wiki/Imre_Lakatos