ESRogs comments on ESRogs’s Shortform

[ESRogs]

Also asked on Twitter here.