progressive domination