QEDDEQ comments on QEDDEQ’s Shortform