vang1ong7ang

that's amazing work. 👍 keep improving the formal model and it's even possible to provide a formal proof based on TLA+. to make to TLA+ model clear and verifiable, I...

me not in favor of this pr but me won't stop other people from liking it however, at least, maintain it as a **hardfork** same as #3175