The worst thing about endings like this is that not only can one not enforce it against accurate play, but that even if you did examine the Nalimov Tablebase solution you wouldn't be able to understand it.