Ok - so right now I have my corporate gmail set up via activesync - so I get pushed email. IOS4 / iPhone 4 It's great because I do want real-time notifications of my email. But - as it's been documented - you can't "easily" delete email. If you delete - it goes to "all mail" which you then have to re-delete. I've tried MOVING messages to the trash - but again, they seem to wind up first in the ALL MAIL and then I have to delete again. Sort of a pain. I know there's an option to just set up my gmail without activesync. But I assume that means that while I would have the ability to actually delete messages - I would lose push. Is that correct? Is there a way to get push and the ability to delete a message or at least move it into the trash in ONE step? Thanks.