recursive definition

See recursive definition.