Raemon comments on mingyuan’s Shortform