submit LehrRecursion modified by Mosher