https://9dok.net/document/yevk7ex4-cava-a-verified-model-checker.html