5.555 It is clear that we have a concept of the elementary proposition irrespective of its special logical form.

However, where one can construct symbols according to a system, there this symbol is what is important logically, and not the individual symbols.

And how would it even be possible that I should have to deal with forms in logic that I can invent; rather I must have to deal with what makes it possible for me to invent them.

Is this clear? What kind of concept is this? Logic concerns possibility again. There is arbitrariness there, but that is not what is important, or essential. So are we getting, have we got, anywhere with this investigation into logic?