premise: There have been 48 individuals that have served as mayor of Columbus, serving 53 distinct mayoralties or consecutive terms in office.
hypothesis: There have been 48 individuals that have served as mayor of Columbus, serving 53 distinct mayoralties in office.