Remember all those conversations people were having just last week about whether one could justifiably pull a pitcher in the middle of his own no-hitter? Sometimes it’s a moot point.

On Friday, Seattle’s Kevin Milwood tossed six no-hit innings against the Dodgers, then strained his groin while warming up prior to the seventh. Five Mariners relievers followed with three more innings of no-hit ball. (It was the 10^th combined no-hitter in big league history; the latest—Houston’s defeat of the Yankees in 2003—also had six, and also had a starter, Roy Oswalt, depart early after an injury.)

Several noteworthy slices of Code cropped up in the process. One of the most popular refrains from those decrying the dreaded no-hitter jinx stipulation, which mandates that the feat must not be spoken about until it is completed, is that there’s no way a pitcher in the middle of a no-hitter has somehow failed to realize that he’s in the middle of a no-hitter.

Improbably, though, Seattle reliever Tom Wilhelmsen failed to realize exactly that. Wilhelmsen, who closed out the game for the Mariners, was eventually informed of the circumstances by his catcher.

“I told him, ‘Man, you threw a no-hitter!'” said Jesus Montero, in an ESPN report. “And he didn’t know! Unbelievable.”

Wilhelmsen tried to add some nuance to the claim. “Well, I mean, I knew what was going on,” he said. “But no, I have a brain fart every so often and just focused so hard on getting one thing done. It’s not like you forget, but it’s like you put it off to the side. And then it’s like, ‘Holy cow, we just did it,’ and Montero is in my arms.”

To be fair, five pitching changes can distract from the execution of a fairly unique feat; Wilhelmsen wasn’t the only one who lost track of things.

“Coming into the ninth, it wasn’t really on my mind . . .” said Seattle shortstop Brendan Ryan, who entered in the ninth as a defensive replacement. “It kind of took five seconds or so to sink in. ‘Wait a minute. Wait a minute. There were no hits. That’s a no-hitter!'”

That said, not everybody was so clueless. Reliever Stephen Pryor (who was credited with the victory after pitching to all of one batter recording all of one out), told the Seattle Times that, Wilhelmsen apparently aside, they were aware of it in the bullpen. “We knew, but we weren’t talking about it,” he said. “We didn’t want to jinx it.”

Someone who very clearly didn’t mind jinxing it was Dodgers shortstop Dee Gordon, who tried to bunt for a hit in the fourth inning. While some take this topic—breaking up a no-hitter with a bunt—very seriously, Gordon has facts on his side. For one, it was only the fourth inning—far to early to consider the deed sacrosanct, even for the likes of Bob Brenly. For another, speed makes up nearly the entirety of Gordon’s offensive game; beating out bunts is what he does, so to assume he’d suddenly table one of his strengths in a close game is far from reasonable. The score was only 1-0, so even if Gordon had tried it in the eighth, he would likely have not drawn much protest from the Mariners.

No word yet about whether Seattle players took it upon themselves to avoid all six pitchers in the dugout for fear of the mighty jinx. Seems like a tall order.