Strings defined as final