reworked mordell-weil