Mateusz Bagiński comments on mesaoptimizer’s Shortform