Before revision:  We show that ANI is satisfied in well-known models of social interactions  .
After revision:  We show that ANI is satisfied in well-known models of social interactions , we can formally verify that ANI holds .