Raemon comments on eigen’s Shortform