traffic congestion subgroup of congestion, 2 assertions