EJT comments on EJT’s Shortform

[EJT]

Thanks, will reply there!