Premise: If the general control is inadequate, the application control is unlikely to function properly and could be overridden.

Hypothesis: If the general control isn't enough, the application control will work.
Relation: contradiction