would

```
with assuming(Q.positive(x - 1)):
    assert ask(Q.positive(x))
```

succeed?