Equalized odds is a requirement of algorithmic fairness. - Grant, David Gray (Synthese, 2023)