ANRP Formal issue 13#08B