e.g. you can test that `x>1` with `(x - 1).is_positive`