Working with contract intializers