Wow. I cannot fathom how it can work this well, though I think the validation is incorrect, the first assert shoukd check for z and not 0. Still, it's scary to

Wow. I cannot fathom how it can work this well, though I think the validation is incorrect, the first assert shoukd check for z and not 0. Still, it's scary to be honest.