my $r = $Contracts{$key};
$r->[STATE]