When logic is understood proof-theoretically rather than model-theoretically, the validity problem c...