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?