Comment by whyandgrowth

If the author had provided links to explanations or additional materials for those who want to understand the formal reasoning more deeply.