IBM Bob 2.0 hackathon team: Proof Before Patch