Do we want getters and setters even though the design doc says they are public?