Guest post by Bruce Bartlett I recently put an article on the arXiv: Bruce Bartlett, Quasistrict symmetric monoidal 2-categories via wire diagrams. It's about Chris Schommer-Pries's recent strictification result from his updated thesis, that every symmetric monoidal bicategory is...