https://123dok.org/document/yr38nwoj-logi-didactic-tool-beginners-course-logic-system-description.html