fairness assumption added