The delta variable for predicate variable substitution.
Solving for predicate variables in negative positions, related to recursive definitions. Detailed and corrected specification.