let findState (s : string * string) : string = match s with (e,_) -> e