It is an error to define a system incorrectly: an implementation may
detect this and signal a generalised instance of
SYSTEM-DEFINITION-ERROR
.
Operations may go wrong (for example when source files contain
errors). These are signalled using generalised instances of
OPERATION-ERROR
.