L'inventario di ƒ dx è attualmente privato.