Federal gas tax revenues that are paid into the trust fund...

Federal gas tax revenues that are paid into the trust fund by highway users should be used for programs that benefit highway users.