L'inventario di ¬ M è attualmente privato.