less dense protocol-spec