Great feedback, but I'm asking about proofs for an arbitrary approach. For example, I have my own approach and don't want to have to prove that my approach is equivant to someone elses. An exception is something like -