I looked up trace theory the other day, but in order to
understand that, I had to click through to free monoid, and from their to the entry on monoid, and from there to algebraic structure, which
understand. So, I don't
understand trace theory by 3 degrees of ignorance.