ANRP Formal issue 13#08A