https://123dok.net/document/y4wmk5n0-deep-inference-for-hybrid-logic.html