Premise: Executing both principles

Hypothesis: Executing both principals
Relation: entailment