module TopologicalInventory