public static Iterator allMatchingExtensionMembers(Proposition self, boolean specializeP) {
    { DescriptionExtensionIterator iterator = NamedDescription.allTrueExtensionMembers(Logic.surrogateToDescription(((Surrogate)(self.operator))), specializeP);

      iterator.referenceProposition = self;
      return (iterator);
    }
  }