Yup, Steam automatically updates games that you have already downloaded/installed. I'm not sure if this applies to every game, but I suspect Valve and Steamworks games support automatic updates.
Wikipedia: In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. »