[nabla9]

The bet uses it's own definition.

It's written there.

I'm looking at it right now but not copy pasting it here.