Definition of "postdominates"