Fixed domination verification, refined phi verification.