SCG Hypothesis 
make a prediction about the behavior of your algorithm solving problems in a niche

includes a formal language to define hypotheses.
Language includes implication relation between hypotheses.

Hypothesis must be hard to strengthen.
iIt must be easy to check, given witnesses,
whether the  prediction did or did not materialize.

H1 => H2 depends on form of hypothesis:
sat > 0.7 => sat > 0.6
cannot sat > 0.5 => cannot sat > 0.6
The one on the left is stronger.