Raemon comments on Portia’s Shortform