ANRP Formal issue 13#12B