Verification for Team Trehouse