Antonius Westerbrok comments on Davis_Kingsley’s Shortform