Jacob Pfau comments on Leon Lang’s Shortform