proof that one belongs to a group