Premise: Executing both principles

Hypothesis: Not executing both principals
Relation: contradiction