sub satisfied {
    my ($self, @body) = @_;

    if ($debug) {
        warn sprintf "TESTING @body in satisfied() with self-e: %s",
      Data::Dumper::Dumper($self->{established});
    }

    for my $prop (@body) {
        if ($debug) {
            warn sprintf "prop($prop): %s dr: %s dr2: %s dump: %s",
            $prop,
            $self->{established}->{$prop},
            $self->{established}->{intro_rec},
          Data::Dumper::Dumper($self->{established});
        }