Do these still both need to be mutable? Or would `attr_reader` suffice?