Yes indeed, kudos to Dave Bernard—he pointed out this distinction to me as well.
And good spot—sorry for the confusing error! I’ve now edited this in the text.
Yes indeed, kudos to Dave Bernard—he pointed out this distinction to me as well.
And good spot—sorry for the confusing error! I’ve now edited this in the text.