> Now define a function f that morally computes such a tuple for single element subarrays:

what does `morally computes` means?