layer protocol subgroup of protocol, 2 assertions