Gave specific info about how priority queues work in header file