ANI Formal Definition