incremental progress on protocol spec