cs 1110 invariant examples - Search