https://123dok.net/document/zx53owx4-unprovability-results-involving-braids.html