proper subfunctions -- Depth-4 works