[bizaff]

KK calls a push from AA on an AKx flop.

1) KK made a +EV call.

2) KK made a mistake according to the FTOP.

The above two statements are both correct and not mutually exclusive.

The FTOP does NOT say it is a bad call, it says it would be a mistake if you knew what your opponent held.

I don't have the book in front of me, but there's a section that talks about it being a "special kind of mistake". Reread that section.