Comment by headgsaket

I’d be willing to make the same bet, the problem would be one of definition.