how to find counter examples - Search