Why Proof-Theory Matters in Specification-Based Testing