maxOS Braindump
Invariance Theorem