J Bostock comments on How will we do SFT on models with opaque reasoning?