That is funny, that is where I got my example.

My problem with the theorem is that the loss only becomes significant as the pot becomes bigger, and the bigger the pot the less of a mistake your opponent is making. And in-fact it is only a mistake if you knew exactly what your opponents had. A play that is +EV could still be a "mistake" under the FToP, because FToP is completely result oriented.

It also ignores the fact that you have already profited from your opponents mistake by the fact that he is in the pot with you in the first place.