Ok. I see. Arrow does NOT express an actual equivalent. It expresses an implication. That was not clear in a couple of the videos. But thank you for explaining.
Interesting point Jdawg, I guess we'd use "=" only when we're dealing with number puzzl…