ANRP Formal issue 14#09B