I do, we are talking about a non-linear spinor dynamic here, omitting the gamma algebra inherited by Dirac spinors. This algebra is well known and omitted as it would render the text confusing indeed as spinor products are of relatively high order (psi-27 and psi-19).