"If only the world was perfect the world would be perfect" Author fails to mention how to actually formally verify this asynchronous globally replicated produc

"If only the world was perfect the world would be perfect" Author fails to mention how to actually formally verify this asynchronous globally replicated product. He may have solved the delivery theorem and if that's so I encourage him sharing the results. > No nullable fiels. Author appears to have not formally verified his post's grammar.