$\huge \text{Values of type } T \text{ are valid.} ^{*} $ This is one of the fundamental goals of correct [[C++]] code (and beyond to other languages). If your code is correct, this [[Invariant]] should hold true for all possible values of all possible [[Type|types]] (*mind the asterisk*) in order to ensure [[Validity]], Consistency, and Correctness. > The stronger this statement, the more meaningful our [[Type|types]] become, the more we make invalid states unrepresentable in our code, and the more the [[Type System]] is allowed to enforce the rules of how data is allowed to flow. ### Notable Exceptions - [[Constructor#A Note about Internal Implementation]]