contradiction finder/helpers written