differentiable to Dig and Dash