Fifth U.S. Circuit Court of Appeals Judge Pete Benavides remembers that teachers at his elementary school couldn’t pronounce his first name easily, so they nicknamed him “Pete” based on his middle name, Pedro. But considering what he calls his “fortuitous” career, Benavides notes that his real first name ended up being quite a coincidence.

“My name is Fortunato,” he says.