Char,
Not clearly ISF theorem, but it really relates to everything. Not a great example of it though, it's more like reading a range and deciding what to do.
I'd prob bet the river though, when he checks i think we're ahead a lot. I think I shove the turn too, I'm not sure we should be that scared against a tourney player who habitually overplay TP and limp AA/KK.