started pre- postconditions