proper subfunctions -- Depth-2 example works