The two properties of a recursive function