ojorgensen comments on A Walkthrough of A Mathematical Framework for Transformer Circuits