or maybe just when they enforce an invariant?
# announcements
l
or maybe just when they enforce an invariant?