Template:Individual-TLP-paragraph-en-5.557

5.557 The application of logic decides what elementary propositions there are.

What lies in its application logic cannot anticipate.

It is clear that logic may not conflict with its application.

But logic must have contact with its application.

Therefore logic and its application may not overlap one another.