Joyal's [proposal](https://www.msri.org/workshops/689/schedules/18227)