In the end "proofs" that are not machine checked will be left unread unless submitted by someone very respected in the field...