Ordered pairs and solutions