programjames comments on g-w1′s Shortform