I think `final` is fine.