Names of exceptions possibly raised by the message in case of errors without returning any values, are specified. An exception is raised to indicate to the client that the (intended) pre-condition for that message is violated. Different exceptions signal different ways a pre-condition is violated. We do not specify other exceptions that may be thrown by an implementation, e.g., errors due to running out of memory etc. We also assume that after a message, at most one exception can be raised.