The more I learn about quasigroups, the more I think they deserve the name in a way that semigroups don't.
Semigroups that faithfully embed into a group maybe are ok b/c they're "half the group" (e.g. positive reals inside the reals, under addition).
But not general semigroups. They need a new name.