declared thrown exceptions in verify method