Mr Denis's inventory is currently private.