> The implementations cannot be understood unless you actually prove them correct I quickly scanned the book you provided, but I couldn't find an explanation.

> The implementations cannot be understood unless you actually prove them correct I quickly scanned the book you provided, but I couldn't find an explanation. What do you mean by 'understood'?