RHollerith comments on halwer’s Shortform