My claim was what Eliezer said, and it was incorrect. Other than that, your comment is correct.
Ah, I parsed it wrongly. Whoops. Would it be worth replacing it with a corrected claim rather than just striking it?
Done. Thanks for the help!
My claim was what Eliezer said, and it was incorrect. Other than that, your comment is correct.
Ah, I parsed it wrongly. Whoops. Would it be worth replacing it with a corrected claim rather than just striking it?
Done. Thanks for the help!