Robuta

https://ncatlab.org/nlab/show/Jock+McOrist Jock McOrist in nLab jockmcoristnlab