Candidates for ideas-math-types