...

The tipical case is the Date data type, in which the invariant must state that February is 28 or 29 days long, depending on the year.

...

The final application data representation is dependent from the reification process.