invariants examples site:stackoverflow.com - Search