https://123dok.net/document/zlglj8gr-safe-equivalences-for-security-properties.html