  to these two proofs is a valid proof of B, or reduces to such a proof. This conception keeps two of the three basic ingredients of Prawitz-style proof-theoretic semantics (see section  2.2.2):  the role of proof reduction and the substitutional view of assumptions. Only the canonicity of proofs ending with introductions is changed into the canonicity of proofs ending with eliminations.