Three Variable Elimination