ObjectInvariant() Method