https://123dok.org/document/yr38prop-algebra.html