Priority queue deletion.
Priority queue merge.