If the general control is inadequate, the application control is unlikely to function properly and could be overridden.
If the general control isn't enough, the application control will work.
mnli hypothesis: If the general control isn't enough, the application control will work. premise: If the general control is inadequate, the application control is unlikely to function properly and could be overridden.