use getter for []