mingyuan comments on MikkW’s Shortform