Raemon comments on Nition’s Shortform