AnnaSalamon comments on eigen’s Shortform