Search Rewout contradiction