Thanks for the quick and simple answer, I am still confused on what that means for how the language is written.
As I understand it:
SameQ is a strict equality test that returns false unless it returns true.
Equal is a looser equality test (allows for type differences) but doesn't automatically return false.
Do you know why Mathematica does not return a false in this when == is used? What advantages does this give?
Is this because Equals will sometimes try to return true when they are slightly different, and want to avoid returning false negatives?