Completed the function axiom