History

for article: Ping-pong lemma