Syn elimination
Redirect to:
Syn and anti addition