invariant definition examples site:stackoverflow.com - Search