Re: countable Heyting algebras (third try)