Implement dominators messages