Oh field addition? That’s just the abelian operation between the group of non-1 elements. Oh a group? That’s just a monoid with inverses. Oh a monoid? That’s just a semigroup with identity. Oh a semigroup? That’s just a set with an associative binary operation. Oh a binary operation? That’s