ANRP Formal issue 14#06B