routing protocol subgroup of protocol, 3 assertions