Does the above really work as intended if cond is a SymPy true or false?