. "Now, suppose that R ??? R. If you suppose that R is a set, you get a contradiction, so R must be a proper class." . . .