https://123dok.net/document/yr3jp4vp-when-presupposing-is-compulsary-the-observation-that.html