Once they are in place, the program needs to be maintained.
Once they are in place, the program can be left to its own devices.
mnli hypothesis: Once they are in place, the program can be left to its own devices. premise: Once they are in place, the program needs to be maintained.