https://9dok.net/document/zgw2lmjv-axiomatische-semantik.html