Perhaps-- but we need to be able to make a distinction between a mathematical function and the procedure which implements it.