ANRP Formal issue 13#09B