Generality versus core insight tradeoff in theorems: Difference between revisions