If we decide to keep this field, this doesn't have to be declared within `__init__`, but next to the other field definitions please.