ANRP Formal issue 13#11A