RE_ [EXTERNAL] RE_ Checkpoint 2 - 8.31 Proofs File File Text Pages Notes Results Search Search p. 1 Share p. 2 Share