mnli premise: Changes in the expected system size may necessitate reestimates of the development cost, using the cost models described earlier in this appendix. hypothesis: All of the models show the costs skyrocketing.