[Fictive]

Meh, those are extremely "every day situations" where people go all-in on a nut flush draw. He was only about 20% to win the hand, but there's also some fold equity that comes along the all-in. Happens tons of times.