Position Elimination Laws