Final DeliverablesProofs of Patrick Gihana