Towards Formal Fairness in Machine Learning · Study