manualintegrate: use Q.zero instead of Q.is_true