premise: FIVE years ago, if Barack Obama had announced a trip to Havana, <hypo>, suggests Carlos Gimenez, the mayor of Miami-Dade County.
hypothesis: <hypo> should be "Cuban-American demonstrators would have filled Miami's streets"