All of these need an `@GuardedBy("this")`