dominator[full] >=12a