Very slow. I suggest to put the `randomElement()` call in a `while` loop instead to make sure the `$name` formatter doesn't get chosent.