Ya, the title’s a bit of a mouthful but “Explicit is better than implicit.” Basically I’ve now had to perform this task ∞ times but not on a regular enough basis where I memorize all the steps. For that reason and that reason alone I’m publishing these notes. Maybe these...