a phenomenal full pair in Models