Very well put. Succinct, and all correct. Any wff (well formed formula) is always ultimately tautological (which is to say, devoid of novelty). This is the roadblock that some here continually run into, and they only run into it because they mistakenly believe that logic can uncover meaning. As pointed out here by swarm, the only powder that logic holds is to elucidate. To generate, one must make use of SM.