please just remove line `p = Symbol('p', positive=True)`