ok: dead-man relations hold and 3 mutants are rejected