A bad condition that you have no control over and cannot check for in advance. See YouDontWantAnExceptionYouWantaTimeMachine and DesignByContract.
CategoryException