at the federal court of appeal the umpire's decision was overturned it is a little golden miracle of a book the algorithm is named after alfred tarski and kazimierz kuratowski boundaries that separate these categories are blurry at times