[x775]

Hi Stephen. You are absolutely right, thank you for the feedback! I have edited accordingly.

[maweki]

I always remind myself that it's not an if-and-only-if with this argument: since there could always be another rule that is satisfied to make that fact true, it can't be iff.