agai comments on eigen’s Shortform