 Returning to B and \(\Sigma\), if the former is a logical consequence of the latter, then, if we do not reinterpret the logical particles but do reinterpret the nonlogical vocabulary by associating it with different rules, then it will still be the case that if all the wffs in \(\Sigma\) are true, so is B. In this way, we can isolate the form of a proposition by studying the corresponding sentence and reinterpreting its non-logical vocabulary.