worked more on the counterExamples think they are working now