[epolanski]

Payments have a gargantuan amount of possible transitions and invariants that are far from trivial to encode.

[NicoHartmann]

I showed this to my manager and his response was: "So... three days?"