MinusGix comments on lukehmiles’s Shortform