fifth session on variable elimination 6472413