agai comments on eigen’s Shortform

[agai]

Comment removed for posterity.