Ok agree to disagree. I think readable proofs are smallest of problems and a distraction to a bigger problem which is loss of meaning.