Pumping Lemma

Pumping Lemma is a town in Abyssalia which lies on the coast of von Mises Sea. There is a railway station served by the line. The village consists of more houses scattered around the place.