Multi heap contract.
Improving contracts...
Contracts for unique heaps.