Characteristic predicate StringFormat :: StringFormat


                            
                                StringFormat
                            
                            
                                (
                                )