https://123dok.net/document/q054d7n9-internal-behavior-reduction-for-partner-synthesis.html