The Ingham County courthouse in Mason.