Relatedly, there is more that I can say, and probably should have said at the time, on the topic of logical equivalence (such as in
De Morgan's laws, and in the preceding topic of expressing "→" in other ways, specifically by "¬" and "∨" and by "¬" and "∧").