https://123dok.net/document/nzw0jgvy-a-simple-logic-for-reasoning-about-incomplete-knowledge.html