It's not an extension of `FormatOne` (there's no such thing)...