 Ad 1: The definition of validity is based on Gentzen’s idea that introduction rules are ‘self-justifying’ and give the logical constants their meaning. This self-justifying feature is only used for closed proofs, which are considered primary over open ones.