Since in the metamathematics English is being applied to the discussion only of the symbols, sequences of symbols, and so on. of the object language, which constitutes a relatively tangible subject matter make any difference, it ought to be free in this context from the lack of clarity that was one of the reasons for formalizing.