3 ms·

I don't see the parent poster making any claims about the straightforwardness of proving worthwhile things.

• deleted 8y ago
  [deleted]