10.1 Introduction 10.2 The Multi-prover Proof System 10.3 Construction of a Partition System 10.4 Reduction to Set Cover