Take the following as truth: Or the program could be restricted in various ways in order to blunt possible objections.
Then the following statement: "The program will be too powerful if not kept in check." is true, false, or inconclusive?