Premise: Then show it to me.

Hypothesis: Then prove it to me.
Relation: neutral