JohnBuridan comments on mingyuan’s Shortform