Text this: Truth-Functional Logic and the Form of a Tractarian Proposition