string well formed