An onto endomorphism $\phi$ of a finitely generated hopfian semigroup $S$ for which there would exist a cofinite proper subsemigroup $T$ with $\phi(T)=S$.

The mere statement and the idea of proof reminisces from far away of Poincare Recurrence Theorem, though this story is purely combinatorial and uses very delicate rewriting procedure!