  An embedding of arbitrary Heyting algebra H into a reduct from the variety of
Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that
this reduct belongs to the variety of Heyting algebras generated by H.
