Cook and Reckhow's framework conflates proof length with proof comprehensibility, obscuring that sho...