MaxPQ is working