Given a sentence in Tagalog language, translate the sentence to English language keeping the meaning of the original sentence intact.
Example: Tagalog sentence: Si Roger Federer ang unang manlalaro na nanalo ng 20 Grand Slams
Example solution: Roger Federer was the first player to win 20 Grand Slams
Example explanation: The output is an exact translation of the Tagalog sentence and its meaning remains the same.

Problem: Tagalog sentence: 7 At si David ay tumahan sa katibayan; kaya't kanilang tinawag na bayan ni David.

Show your work and conclude with the exact phrasing "Therefore, the final answer is [answer]." where [answer] is just the final number or expression that solves the problem.
user
Solution: 7 And David dwelt in the castle; therefore they called it the city of David.