| Invariants | Wisselt de zichtbaarheid van het paneel met invarianten. |
| Grafen | Wisselt de zichtbaarheid van het paneel met grafen. |
| Generatoren | Wisselt de zichtbaarheid van het paneel met generatoren. |
| Filters | Wisselt de zichtbaarheid van het paneel met filters. |
| Conjecturing engine | Wisselt de zichtbaarheid van het paneel met de vermoedensmotor. |
| Lijst van expressies | Wisselt de zichtbaarheid van het paneel met de lijst van expressies. |