5 ms·Thank you. We will provide our TLA+ proof soon..by baotiao 8y agoThank you. We will provide our TLA+ proof soon..