Not like that, though. The new assumptions are separated from the symbols, so you would just have `assume(And(x < -1/E, Q.positive(x))`.