Throw the exceptions that the contract requires