Or the program could be restricted in various ways in order to blunt possible objections.
The program will be too powerful if not kept in check.
mnli hypothesis: The program will be too powerful if not kept in check. premise: Or the program could be restricted in various ways in order to blunt possible objections.