Tuple elimination.