treaty, formal agreement between nations or states; document embodying such agreement