Removed preconditions and post conditions