Conflicts Between Generalization, Rigor, and Intuition