title: How to enforce relative constraints on hypothesis strategies?
body: <p>Say I have 2 variables <code>a</code> and <code>b</code> where it is given that <code>b &gt; a</code>, how then can I enforce this relative constraint on the hypothesis strategies?</p>
  <pre class="lang-py prettyprint-override"><code>from hypothesis import given, strategies as st
  
  @given(st.integers(), st.integers())
  def test_subtraction(a, b):
    # only evaluates to true if b &gt; a
    # hence I'd like to enforce this constraint on the strategy
    assert abs(b - a) == -(a - b)
  </code></pre>