ANRP Formal issue 15#08B