invariant logic - Search