Text: The size of the system, measured in source lines of code as established by the system design, may change as the system is coded.
Entailment: The size of the system may change as the system is coded.
Contradiction: As the system is coded, its size and design shall remain constant.