Left-cancellative

Redirect to: