When a system involving software is being developed, one or more cost models may be useful.
There is a system being developed but there only exists one cost model.
mnli hypothesis: There is a system being developed but there only exists one cost model. premise: When a system involving software is being developed, one or more cost models may be useful.