Random Tidbits

Semantics

See? I told you the left statement is not an implication!