A more fine-grained partial function