liveness with fairness