Two steps are taken. The first is to present an appropriate translation scheme in terms of which each ordinary mathematical statement S is taken as elliptical for a hypothetical statement, namely: that S would hold in a structure of the appropriate kind.