https://123dok.net/document/4yrp6e8q-from-constraints-to-resolution-rules-part-ii-chains-braids-confluence-and-t-e.html