Candidates for heyting-algebras