The president, the governor, and the mayor belong to the __________ branch.