Fairness and Correctness in Case of a Premature Abort