Can these three be `final`?