Grigori Mints: Unwinding a Non-effective Cut Elimination Proof. CSR 2006: 259-269