paulfchristiano comments on Results from MIRI’s December workshop