Recursive enumeration