https://123dok.net/document/q7w7gnro-incremental-and-persistent-reasoning-in-fact.html