a clean pair in Models