Obviously then keep the specification, preferably testable, formal and verifiable of the protocol. Without this part, you end up with a real big mess similar t

Obviously then keep the specification, preferably testable, formal and verifiable of the protocol. Without this part, you end up with a real big mess similar to 90s internet.