Have we discussed the Denver mayor?