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