Invariant constructor

Invariant()