Are this and the following class variables, or just here for initialization?
I think it would be safer to put them in `__init__` if they are instance variables.