Seol mar théacs é seo: Verifying Treaty Compliance