Related: Dane County Madison Public Health mandates.