When you find the contradiction without pressing any statements