Գրեք սա: Verifying Treaty Compliance