Thanks for flagging this! I’ve now updated my post to include this new definition (I still use the old one first, but have added an explicit update in the main text).
This definition does seem better to me, for the reasons you mention.
Thanks for flagging this! I’ve now updated my post to include this new definition (I still use the old one first, but have added an explicit update in the main text).
This definition does seem better to me, for the reasons you mention.