The Senate convened at 12:00 p.m. for a pro forma session. Senator Cruz presided and no business was conducted.