destruct途中
destruct途中