Cut elimination

Summary