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