Strategy

• Do not merge trees until necessary
• Merging done in Extract-Min, where new minimum is needed