Alek Westover comments on How will we do SFT on models with opaque reasoning?