good friendship subgroup of friendship, 1 assertions