Pattern comments on eigen’s Shortform