premise: The city's official history, however, starts in 1527, when the sultan of Bantam defeated the Portuguese there and called the place Jayakerta ( Sundanese: "Glorious Fortress").
hypothesis: The city's official history starts in 1527, when a local ruler defeated the Portuguese there and called the place Jayakerta.