Reversed meaning of "highest priority" in priority queues.