fourth session on variable elimination 3115835