Local and Global Ibadi Identities