https://5dok.net/document/nzweg2gz-verificatie-van-een-stuk-wiskundige-taal.html