https://1library.org/document/q7324wky-francy-an-interactive-discrete-mathematics-framework-for-gap.html