Modeling Mathematical Ideas