DefFormatStrings and Def.FmtStrings