Common Behaviour Templates assume operator behaviour Only types with the operators will work vector has no += operator Operators must behave appropriately The language can't enforce this