invariant vs conceptual site:stackoverflow.com - Search