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.