What Is an Invariant site:stackoverflow.com - Search