Candidates for free-algebras