trying to make pair notation palatable