SMS: Verifying Treaty Compliance