We prove that any finite subdirectly irreducible Heyting algebra with
involution is quasi-primal, and that injective algebras in the variety
generated by a finite subdirectly irreducible Heyting algebra are precisely
diagonal subalgebras of some direct power of this algebra, which are complete
as lattices.