https://123dok.net/document/z3d47169-einführung-in-die-logik.html