Viliam comments on Chengfeng Mao’s Shortform