Comment Comment by epolanski Payments have a gargantuan amount of possible transitions and invariants that are far from trivial to encode. parent epolanski 5 months ago
