For those wondering about Shen, this Strange Loop talk gives a taste of it https://www.youtube.com/watch?v=lMcRBdSdO_U