Daniel Tan comments on eggsyntax’s Shortform