there is no need to introduce a new variable, just use something like that:
```python
assert ask(Q.positive(atan(p)), Q.positive(p)) is True
```