Given a premise, retrieve a hypothesis that is entailed by the premise.Once they are in place, the program needs to be maintained.
Maintaining a program once it is in place is paramount.
Once they are in place, the program can be left to its own devices.