I removed the proposition on weil restriction from the final section. The paper still works!