Chris Ressa 048-formal proofsChris Ressa 063-formal proofsChris Ressa 079-formal proofsChris Ressa 33084-formal proofsChris Ressa 33087-casual proofsChris Ressa 33092-casual proofsChris Ressa 33098-casual proofsChris Ressa 33101-casual proofs