5/22/17So . . . don’t use the carpool lane to travel faster than traffic stuck in the non-carpool lane.