Portia's Shortform — LessWrong