Created inv's and constructors