Viliam comments on mingyuan’s Shortform