4 ms·tldr; humans change their theorems/lemmas to make them fit their initial model, i.e. add caveats.by sabujp 7y agotldr; humans change their theorems/lemmas to make them fit their initial model, i.e. add caveats.