Give a recursive definition.