Fairness as a Program Property | Read Paper on Bytez