* exclusion ranges "not a in [1,2]" as hypotheses
