Verification for Quinn the PAWG