Corrected task 2 to not negate the proof