The Senate formally declared a quorum on Wednesday with 12 senators in attendance, allowing the chamber to proceed with its session and the election of Senator Sherwin Gatchalian as Senate President Pro Tempore.