cdt comments on leogao’s Shortform