Title: Understanding the Generality of Mathematical Statements