Provides classes that handle the GUI of pumping lemmas. @see pumping