> The object is already constructed in a valid state. But that's the entire value proposition of do-not-allow-construction-of-invalid-state! If a User is actu

> The object is already constructed in a valid state. But that's the entire value proposition of do-not-allow-construction-of-invalid-state! If a User is actually a User, then you can say "the object is already constructed in a valid state". If you decide to be 'less dogmatic' and instead construct Users-which-may-or-may-not-be-users-just-throw-an-ex-if-theyre-no-good, then you cannot say that the object is already constructed in a valid state.