Do you need to be a super expert to find gaps in proofs? Debatable