 We shall make use only of the case that the second argument of \(D\) is a singulary functional variable or singulary functional constant of lowest type, so fixing the type of \(D\). (1995a [BE: 929])