I wonder if in each case they had parallel sessions, one trying to prove, one trying to find a counterexample