Implements reportVerify/2