lift and carry domination