Text: 5 shows how the estimates of software size can be tracked over time.
Entailment: Approximations of size of the program can be tracked.
Contradiction: There is no way to guess how much program size will change.