Premise: different computational problems.

Hypothesis: Various problems regarding computation.
Relation: entailment