Verifyprobs argument