ANRP Formal issue 13#05A