let doit force fln = 
    match force with
      Force -> true
    | Ask ask -> ask fln