Some work on Function.Inverse.Dependent