preconditions changed