it should start a city hall at the begin : Spec&Implem