Mitchell_Porter comments on jdp’s Shortform