β-redex comments on I Converted Book I of The Sequences Into A Zoomer-Readable Format