sixth session on variable elimination 3567833