[UMTerp]

I think pushing and folding are close enough that it doesn't really matter which you do. Any other play is bad IMO. I usually push here, but that doesn't necessarily mean it's correct.