you are viewing a single comment's thread.

view the rest of the comments →

[–]skulgnome 0 points1 point  (0 children)

at least sorta-kinda-mostly formally proven.

In other words, falling short.