@inthehands @saraislet https://www-sop.inria.fr/members/Ian.Jermyn/philosophy/writings/Boxonmaths.pdf :)