The expression is true because of what property?