ANRP Formal issue 13#10A