Listen by prooftheory