East Lansing Mayor Aaron Stephens at the July 29, 2020, virtual meeting of City Council.