  The Chabauty--Kim method is a method for finding rational points on curves
under certain technical conditions, generalising Chabauty's proof of the
Mordell conjecture for curves with Mordell--Weil rank less than their genus. We
show how the Chabauty--Kim method, when these technical conditions are
satisfied in depth 2, may be applied to bound the number of rational points on
a curve of higher rank. This provides a nonabelian generalisation of Coleman's
effective Chabauty theorem.
