@jesusjacr: What are we proving,