Frege's idea that every assertion contains an assumption, which is the thing that is asserted, really rests on the possibility found in our language of writing every statement in the form: It is asserted that such and such is the case.