Steve, > I get this parse-error message: > > Expecting an expression > No resolution for fact_loop with arguments of types: > m : naturalnumbers.nat > 1 : integers.posint > > I've spent quite a while trying to figure out what's going on, but > can't. Please advise. Your function is called fac_loop, not fact_loop. John -------