>I'm not interested in the proof, I'm interested in the program Maybe not in the abstract - but you are, in fact, "interested in the proof": because when the p

>I'm not interested in the proof, I'm interested in the program Maybe not in the abstract - but you are, in fact, "interested in the proof": because when the program doesn't do what you want it to, you either have to fix it so it does prove your use case, or you've proven that what you were trying to do was incorrect