I'm such an idiot. I got the first one wrong.

You raised to 3. He 3-bets to 10. You 4-bet to 25 say. You're not risking 25 to win 10. You're risking 22 to win 13 because your raise is already in the pot. So it needs to work 22/35 = 63%. Using Verneer's bet sizes his 59% figure now looks right. Sorry bout that.