So the superintendent has lifted the mandatory mask requirement and now leaves the option to parents and students. Thoughts, please.