ANRP Formal issue 13#10B