Changes to Applications, esp Weil restriction.