Put semantic constraints in constructors

Personal tools