technicalities comments on jdp’s Shortform