> ... cannot be expected from the average programmer

Ha! He had to deal with the political B.S. of well-spoken self-important people who spend excessively long and write excessively long code/proofs getting accolades over those that just get things done in the best way! I feel for him!