Manual variable elimination.