recursively defined as z