CBS reduction
Redirect to:
Corey–Itsuno reduction