A subdirectly irreducible symmetric Heyting algebra which is not simple. Galli, A.; Sagastume, M. — 1994 Portugaliae Mathematica