Is math discovered? (genius)