I will sketch a proof of the following theorem: Recognizing when a closed braid admits a destabilization is sovable by monotomic simplification.