update Preconditions