MichaelStJules comments on SDM’s Shortform