Senatens sessioner öppnades middagstiden ren 4 Rov.