https://9dok.net/document/zpn7rdwr-mutual-exclusion-and-store-collect.html