can be `final` field of this class