Page "Trace (semigroup theory)" not found :(