Quine advocates a second level of canonical notation, 'to dissolve verbal perplexities or facilitate logical deductions,' admitting the propositional attitudes, even though he thinks them 'baseless' idioms that should be excluded from a notation 'limning the true and ultimate structure of reality.'