https://123dok.net/document/q2ndmpjq-adjoint-backtracking-verification-comprehensive-test-ban-treaty.html