tuple elimination
tuple eraser.