[Page S5417]
From the Congressional Record Online through the Government Publishing Office [www.gpo.gov]

[[Page S5417]]

Senate

  The Senate met at 12 and 52 seconds p.m. and was called to order by 
the Honorable Ted Cruz, a Senator from the State of Texas.

                          ____________________