4 ms·

I'm not saying none of them have any understanding, I'm saying the ones who understand would write better proofs.