changed preconditions