Das wichtigste Hilfsmittel dabei sind Termumformungen.
Als Beweisideen sollen Ziffernpermutationen, Zahlendarstellungen, Zahlenmuster und Gesetzmäßkeiten in wiederholten Rechnungen erkannt werden.
Jeder Benutzer kann verschiedene Beweisideen entwickeln und verfolgen.