Premise: will it be mandatory

Hypothesis: will it be optional
Relation: contradiction