ANRP Formal issue 15#07A