https://5dok.net/document/oz1njr8y-termherschrijfsystemen-en-propositie-algebra.html