Viliam comments on eigen’s Shortform