Thanks. I’ve re-worded these particular places, and addressed a few other things that pattern-matched on a quick skim. I don’t have time to go back over this paper with a fine comb, but if you find other examples, I’m happy to tweak the wording :-)
Thanks for the quick update! Perhaps this will be most useful when writing new things, as I agree that it may not be worth your time to rewrite carefully (and should have said that).
Thanks. I’ve re-worded these particular places, and addressed a few other things that pattern-matched on a quick skim. I don’t have time to go back over this paper with a fine comb, but if you find other examples, I’m happy to tweak the wording :-)
Thanks for the quick update! Perhaps this will be most useful when writing new things, as I agree that it may not be worth your time to rewrite carefully (and should have said that).