The city started with 15 key ideas for its Smart Columbus program. These eight are what remained.