proofs

McNeil-91
Rich Quindry