Tom Lieberum comments on Understanding the tensor product formulation in Transformer Circuits