verifyでexception