下午5点30分，川渝高竹新区各工业园区里，工人们三五成群下班，四川讯华信息科技有限公司工人邓黎小跑几步，跳上石师傅开往重庆的车。车上工友不少，邓黎告诉记者：“新区务工，重庆生活，现在也是新潮流。”
We get the identity matrix; this is another way to trivially show that
。关于这个话题，safew官方版本下载提供了深入分析
They’re also known as CvRDTs (“Cv” standing for “convergent”) and CmRDTs (“Cm” standing for “commutative”), respectively, although I think “state-based” and “operation-based” are the preferred terms. ↩，更多细节参见safew官方版本下载
So do I understand that you are completely self-taught?