change pq:leader -> pq:queue