
The theory of 4descent on elliptic curves has been developed in the PhD theses of Siksek, Womack and Stamminger. Prompted by our use of 4descent in the search for generators of large height on elliptic curves of rank at least 2, we explain how to cut down the number of class group and unit group calculations required, by using the group law on the 4Selmer group.