no group meeting tomorrow, in view of the Solstice of Foundations summer school (https://foundations.ethz.ch/).

Best,

-joe