Terry Chiu 009- formal proofsTerry Chiu 020- formal proofsTerry Chiu 032- formal proofsTerry Chiu 045- formal proofsTerry Chiu 087- casual proofsTerry Chiu 094- casual proofsTerry Chiu 097- casual proofsTerry Chiu 104- casual proofs