We are too conservative about the effects of PushWithScope