The mathematician who discovered ordered semigroup actions.