Who called it a magma and not a hemidemisemigroup?