Well I mean the proof is in his equations and found by them.