A deduction whose structure 'guarantees validity' regardless of content violates the intuition that ...