second session on variable elimination 801838