ANRP Formal issue 13#06B