Double comments on Double’s Shortform