Jess manually formulated what's now termed basic technique and counting techniques 10 yrs in advance of somebody else has carried out that.
https://muk-sos.net/