Portia’s Shortform