Other generalizations of the main conjecture proved using the Euler system method have been obtained by Karl Rubin, amongst others.
Other generalizations of the main argument have proved the Euler system method have been obtained by Karl Rubin and others.