third session on variable elimination 304935