Some progress in the function axiom.