greyback: a dowitcher with a grey back
dowitcher: shorebird of the sandpiper family that resembles a snipe
lemma: a subsidiary proposition that is assumed to be true in order to prove another proposition