Does proof by contradiction leave a part of you not satisfied?