Reductive elimination: Applications

Reductive elimination: Applications