Maybe it'd be better to replace `terminal` with `final` as this is the term used in most the existing codebase.