I don't think he's attempting to give a formal proof, he's just saying that TheDroids argument doesn't pass a basic sniff test.