James, Peet: Verification Plans