Tapatakt comments on dreeves’s Shortform