Proof-theoretic harmony (Pistone-Tranchini)