H. Gumm and T.
Schröder vyslovili hypotézu, že funktor T zachovává vzory právě když je splněna rovnost HS(K)=SH(K) pro každou třídu K T-koalgeber. Článek řeší kladně tento problém pro širokou třídu Set-endofunktorů.