Describir: Simulation, Theory, And Cut Elimination[a].