ANRP Formal issue 13#07B