Re: Term syntax for derivations in Deep-Inference systems - CORRECTION

> I did not choose the title so much for the pun. I simply couldn't 
> think of a title that's more to the point.

What about `Giu` la testa!', like the Sergio Leone's movie about the 
revolution in Mexico. You play the Irish anarchist (James Coburn), I 
do the ROD STEIGER character.

-Alessio