Premise: A requirement that specifies a function that a system

Hypothesis: The requirement doesn't specify any functions.
Relation: contradiction