A1987dM comments on joseph_c’s Shortform