The actual implementation in gadfly is much better than the intuitive reading, particularly at steps 1 and 2 (which are combined via optimizing transformations and hash join algorithms).
The absence of skuas, gulls and other predatory birds on tropical islands is why some shearwaters and two species of gadfly petrel can nest in the open.