Comment by rirze

I think we’re going to find out the hard way that the proofs left to solve are very much not elegant.