declare proc {IsState ?State} choice State=florida [] State=iowa end end