Implemented pairs