Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems