Three Recursively defined modules