If there are witnesses they go down. If there are no witnesses they go down. In every path DeepState chooses, they go down. It's quite entertaining watching the mouse hit nothing but dead ends.