A variable elimination game calls for calculating a new conditional from other factors (akin to "smart factors").