Generality versus core insight tradeoff in theorems