Why not AJ or AT? Hero bets 40 into an 80 pot, doesn't that look weak enough to shove? And why would a set or top 2 minraise the flop?