Right-cancellative

Summary