isuCitationTitle A Clarification of Part of the Discovery Versus Exposition Discussion in Mathematics.