First steps in tuple elimination.