destruct

destruct