Contracts for Density and Packing Functions