I want to know the answer to the following question:
Who introduced the phalanx formation into Rome's army?
All the background I'm provided with is that "Traditionally, the introduction of the phalanx formation into the Roman army is ascribed to the city's penultimate king, Servius Tullius (ruled 578 to 534 BC).". Is that enough to answer the question?