If I raise to $15 on flop and get called, we're most likely both going all-in on turn with around 8$ each in a $35 pot. Am I right to think that a push is better to maximize FE?