We shouldn't need getters. The thing compiles at this point.