carbonyl + ylide → [2+2] cycloaddition oxaphosphetane → alkene + strong P=O bond (thermodynamic driving force)

can be aldehyde or ketone, but not ester
stereochemistry:
- stabilised (i.e. conjugation/resonance stabilised) ylides tend to give E alkenes
- unstabilised ylides tend to give Z alkenes
