Changing the contract for bound inference.