John_Baez comments on Results from MIRI’s December workshop