add verifying exceptions