Logic Elimination