SMS dit: Verifying Treaty Compliance