Boulder is a very smart community.