A few more constraints, mostly on the runtime.