eigen comments on eigen’s Shortform

[eigen]

Happy Christmas and Merry Chanukah!