[ILUG-BOM] Machine Invariants