Premise: Defined more specifically in SFFAS No.

Hypothesis: Undefined by SFFAS
Relation: contradiction