using sympy booleans