Raemon comments on Leon Lang’s Shortform