(These cities are separate from the province in political administration, but grouped under Cebu by the Philippine Statistics Authority, in informal sense, and for mapmaking simplicity)