Surprisingly small varieties of Heyting algebras 
have very complex categorical structure and contain the 
largest possible number of subquasivarieties.