A complex symbol must never be introduced as a single indefinable. [Thus e.g. no proposition is indefinable). For if one of its parts occurs also in another connection, it must there be re-introduced. And would it then mean the same?
7