Implementing Fairness using Waitsome
