https://5dok.net/document/rz38or8q-verification-of-shared-reading-synchronisers.html