We must be able to understand propositions which we have never heard before. But every proposition is a new symbol. Hence we must have general indefinable symbols; these are unavoidable if propositions are not all indefinable.