protocol specification in progress