[hatsunearu]

Considering formal verification for even simple stuff isn't seeing widespread use, well, anywhere, I don't see this happening